From: Florian Müllner Date: Sun, 10 Dec 2023 23:42:50 +0000 (+0100) Subject: extensions-app: Update group headers X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~281^2~2^2~230 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=a6d991b8f22078440536d7ed6580e039d6e727ca;p=gnome-shell.git extensions-app: Update group headers Change titles to the clearer "User/System Extensions" and drop the description. Part-of: --- diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui index 32182d965..71ed7a404 100644 --- a/subprojects/extensions-app/data/ui/extensions-window.ui +++ b/subprojects/extensions-app/data/ui/extensions-window.ui @@ -138,8 +138,7 @@ - Manually Installed - To find and add extensions, visit <a href="https://extensions.gnome.org">extensions.gnome.org</a>. + User Extensions none @@ -152,7 +151,7 @@ - Built-In + System Extensions none